Logical undefinability and Truth Set Algebras
Sophia Knight (UMD-USA)
Fri Feb 21, 16:00-17:00 (9 months ago)
Abstract: I will describe truth set algebras, a new technique for proving the undefinability of logical connectives through one another. I will illustrate the technique with several examples. I will show new proofs of some existing results in logical undefinability, and some new results proven using this technique.
geometric topology
Audience: researchers in the topic
Series comments: Web-seminar series on Applications of Geometry and Topology
| Organizers: | Alicia Dickenstein, José-Carlos Gómez-Larrañaga, Kathryn Hess, Neza Mramor-Kosta, Renzo Ricca*, De Witt L. Sumners |
| *contact for this listing |
Export talk to